logical formulas中文什么意思

• 逻辑式

• logical:    adj. 1.逻辑的，逻辑上的；逻辑学上的。 2.合乎逻 ...
• formula:    n. (pl. formulas, -lae ) 1.公 ...
• primitive logical formulas:    基本逻辑公式
• formulas:    formula的复数; 表达式元素; 公式, 方案, 准则, 程式, 处方, 制造法, 配方, 惯用语句, 俗套话
• be logical:    合乎逻辑

例句与用法

1. Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience
   依照逻辑规则创建了所有名称属性；在本示例中，我使用了自己视为方便的名称。
2. However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules
   在现有的ontology语言中，有的不是面向web这种标记语言环境的，有的缺乏知识、逻辑公式、公理以及规则表示的通性支持。
3. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
   本文对web语义化过程中部分关键问题和基于语义化web的kms进行了研究，主要的创新性工作包括：定义了逻辑公式及关系公理描述原语的ontology语义： web环境中用标记语言描述对象和资源，为了在语义化web上表示知识、逻辑公式、关系公理和规则，需要定义描述命题逻辑公式、谓词逻辑公式、 horn逻辑的逻辑原语以及描述属性之间关系的关系原语。